TypeScriptのtype checkのperformance